1. The Use of Formal Specification of Software :
پدیدآورنده: edited by H.K. Berg, W.K. Giloi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
6
E358
1980
